[(a = 0)] = 1
